The Hofmann-Mislove Theorem for general posets

In this paper we attempt to find and investigate the most general class of posets which satisfy a properly generalized version of the Hofmann-Mislove theorem. For that purpose, we generalize and study some notions (like compactness, the Scott topology, Scott open filters, prime elements, the spectrum etc.), and adjust them for use in general posets. Then we characterize the posets satisfying the Hofmann-Mislove theorem by the relationship between the generalized Scott closed prime subsets and the generalized prime elements of the poset. The theory become classic for distributive lattices. Remark that the topologies induced on the generalized spectra in general need not be sober

The Hofmann-Mislove Theorem for general topological structures

In this paper we prove a modification of Hofmann-Mislove theorem for a topological structure similar to the minusspaces of de Groot, in which the empty set "need not be open". This will extend, in a slightly relaxed form, the validity of the classical Hofmann-Mislove theorem also to some of those spaces, whose underlying topology need not be (quasi-) sober

The de Groot dual for general collections of sets

A topology is de Groot dual of another topology, if it has a closed base consisting of all its compact saturated sets. Until 2001 it was an unsolved problem of J. Lawson and M. Mislove whether the sequence of iterated dualizations of a topological space is finite. In this paper we generalize the author\u27s original construction to an arbitrary family instead of a topology. Among other results we prove that for any family $Csubseteq 2^X$ it holds $C^{dd}=C^{dddd}$. We also show similar identities for some other similar and topology-related structures

On Maximality of Compact Topologies

Using some advanced properties of the de Groot dual and some generalization of the Hofmann-Mislove theorem, we solve in the positive the question of D. E. Cameron: Is every compact topology contained in some maximal compact topology

High-content drug screening in zebrafish xenografts reveals high efficacy of dual MCL-1/BCL-XL inhibition against Ewing sarcoma

Ewing sarcoma is a pediatric bone and soft tissue cancer with an urgent need for new therapies to improve disease outcome. To identify effective drugs, phenotypic drug screening has proven to be a powerful method, but achievable throughput in mouse xenografts, the preclinical Ewing sarcoma standard model, is limited. Here, we explored the use of xenografts in zebrafish for high-throughput drug screening to discover new combination therapies for Ewing sarcoma. We subjected xenografts in zebrafish larvae to high-content imaging and subsequent automated tumor size analysis to screen single agents and compound combinations. We identified three drug combinations effective against Ewing sarcoma cells: Irinotecan combined with either an MCL-1 or an BCL-XL inhibitor and in particular dual inhibition of the anti-apoptotic proteins MCL-1 and BCL-XL, which efficiently eradicated tumor cells in zebrafish xenografts. We confirmed enhanced efficacy of dual MCL-1/BCL-XL inhibition compared to single agents in a mouse PDX model. In conclusion, high-content screening of small compounds on Ewing sarcoma zebrafish xenografts identified dual MCL-1/BCL-XL targeting as a specific vulnerability and promising therapeutic strategy for Ewing sarcoma, which warrants further investigation towards clinical application. Keywords: Anti-apoptotic protein inhibitors; Ewing sarcoma; High-content imaging; Phenotypic drug screening; Zebrafish xenograft

Modulation of cognitive performance and mood by aromas of peppermint and ylang-ylang

This study provides further evidence for the impact of the aromas of plant essential oils on aspects of cognition and mood in healthy participants. One hundred and forty-four volunteers were randomly assigned to conditions of ylang-ylang aroma, peppermint aroma, or no aroma control. Cognitive performance was assessed using the Cognitive Drug Research computerized assessment battery, with mood scales completed before and after cognitive testing. The analysis of the data revealed significant differences between conditions on a number of the factors underpinning the tests that constitute the battery. Peppermint was found to enhance memory whereas ylang-ylang impaired it, and lengthened processing speed. In terms of subjective mood peppermint increased alertness and ylang-ylang decreased it, but significantly increased calmness. These results provide support for the contention that the aromas of essential oils can produce significant and idiosyncratic effects on both subjective and objective assessments of aspects of human behavior. They are discussed with reference to possible pharmacological and psychological modes of influence

Model of For3p-Mediated Actin Cable Assembly in Fission Yeast

Formin For3p nucleates actin cables at the tips of fission yeast cells for polarized cell growth. The results of prior experiments have suggested a possible mechanism for actin cable assembly that involves association of For3p near cell tips, For3p-mediated actin polymerization, retrograde flow of actin cables toward the cell center, For3p dissociation from cell tips, and cable disassembly. We used analytical and computational modeling to test the validity and implications of the proposed coupled For3p/actin mechanism. We compared the model to prior experiments quantitatively and generated predictions for the expected behavior of the actin cable system upon changes of parameter values. We found that the model generates stable steady states with realistic values of rate constants and actin and For3p concentrations. Comparison of our results to previous experiments monitoring the FRAP of For3p-3GFP and the response of actin cables to treatments with actin depolymerizing drugs provided further support for the model. We identified the set of parameter values that produces results in agreement with experimental observations. We discuss future experiments that will help test the model's predictions and eliminate other possible mechanisms. The results of the model suggest that flow of actin cables may establish actin and For3p concentration gradients in the cytoplasm that could be important in global cell patterning

Adapting a Markov Monte Carlo simulation model for forecasting the number of Coronary Artery Revascularisation Procedures in an era of rapidly changing technology and policy

<p>Abstract</p> <p>Background</p> <p>Treatments for coronary heart disease (CHD) have evolved rapidly over the last 15 years with considerable change in the number and effectiveness of both medical and surgical treatments. This period has seen the rapid development and uptake of statin drugs and coronary artery revascularization procedures (CARPs) that include Coronary Artery Bypass Graft procedures (CABGs) and Percutaneous Coronary Interventions (PCIs). It is difficult in an era of such rapid change to accurately forecast requirements for treatment services such as CARPs. In a previous paper we have described and outlined the use of a Markov Monte Carlo simulation model for analyzing and predicting the requirements for CARPs for the population of Western Australia (Mannan et al, 2007). In this paper, we expand on the use of this model for forecasting CARPs in Western Australia with a focus on the lack of adequate performance of the (standard) model for forecasting CARPs in a period during the mid 1990s when there were considerable changes to CARP technology and implementation policy and an exploration and demonstration of how the standard model may be adapted to achieve better performance.</p> <p>Methods</p> <p>Selected key CARP event model probabilities are modified based on information relating to changes in the effectiveness of CARPs from clinical trial evidence and an awareness of trends in policy and practice of CARPs. These modified model probabilities and the ones obtained by standard methods are used as inputs in our Markov simulation model.</p> <p>Results</p> <p>The projected numbers of CARPs in the population of Western Australia over 1995–99 only improve marginally when modifications to model probabilities are made to incorporate an increase in effectiveness of PCI procedures. However, the projected numbers improve substantially when, in addition, further modifications are incorporated that relate to the increased probability of a PCI procedure and the reduced probability of a CABG procedure stemming from changed CARP preference following the introduction of PCI operations involving stents.</p> <p>Conclusion</p> <p>There is often knowledge and sometimes quantitative evidence of the expected impacts of changes in surgical practice and procedure effectiveness and these may be used to improve forecasts of future requirements for CARPs in a population.</p